Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
761	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
762	Draft for submission to HaskellDependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-07-24 01:40:03 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Generic programming Algebraic data type Kind Software engineering Type theory Computing
763	Envisioning & Evaluating "Out-of- Storage" Solutions Luigina Ciolfi, Liam Bannon, Mikael Fernstrom Interaction Design Centre University of Limerick, Ireland. [Luigina.Ciolfi; Liam.Bannon; Mikael.Fernstrom]@ul.ie Add to Reading List Source URL: www.archimuse.com Language: English - Date: 2011-09-09 18:19:37 Museology Museum Curator MUMPS ALGOL 68 Computing Programming language theory Software engineering
764	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
765	Inferring Data Polymorphism in Systems Code Brian Hackett Alex Aiken Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-07-04 18:53:36 C programming language C++ Data types Procedural programming languages Type theory Struct C++ classes Pointer Sizeof Computing Software engineering Computer programming
766	Under consideration for publication in Theory and Practice of Logic Programming 1 SWI-Prolog and the Web JAN WIELEMAKER Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Markup languages Technical communication RDF XML Prolog Standard Generalized Markup Language CDATA Resource Data exchange Computing Semantic Web Web standards
767	Annual Review This annual report/review is adopted from several unknown sources years ago. It has since been customized for our needs. Use and modify it for your organizational and/or personal gain. Add to Reading List Source URL: cts-c.com Language: English - Date: 2011-01-02 19:39:41 Software engineering Programming language theory Computing C Cross-platform software
768	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
769	ELAN LIBRARY REFERENCE MANUAL January 21, 2000 ELAN V3.3 Peter Borovansk´ Add to Reading List Source URL: elan.loria.fr Language: English - Date: 2004-12-08 08:50:03 Query languages SQL Procedural programming languages C Sharp ALGOL 68 Computing Software engineering Programming language theory
770	Terra: A Multi-Stage Language for High-Performance Computing Zachary DeVito James Hegarty Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-04-01 01:52:08 Data types Functional programming Subroutines C++ Scripting languages Lua Eval C++11 Apply Software engineering Computing Computer programming

UPDATE